B. Konikowska : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (31)
Les plus populaires
Liste
- Liste
- Tableau

1

Rough Sets and 3-Valued Logics

A. Avron, B. Konikowska

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 301 KB

english, 2008

2

Many-Valued Logic and Cognition || Rough Sets and 3-Valued Logics

A. Avron and B. Konikowska

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 2.04 MB

english, 2008

3

A Logic for Reasoning about Relative Similarity

Beata Konikowska

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 489 KB

english, 1997

4

A decompositional deduction system for a logic featuring inconsistency and uncertainty

Konikowska, Beata

Journal:

Journal of Applied Non-Classical Logics

Année:

2005

Langue:

english

Fichier:

PDF, 141 KB

english, 2005

5

A multimodal logic for reasoning about complementarity

Düntsch, Ivo, Konikowska, Beata

Journal:

Journal of Applied Non-Classical Logics

Année:

2000

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2000

6

Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus

Konikowska, Beata

Journal:

Journal of Applied Non-Classical Logics

Année:

1993

Langue:

english

Fichier:

PDF, 1.38 MB

english, 1993

7

High Field Solenoid Development for Axion Dark Matter Search at CAPP/IBS

Gupta, Ramesh, Anerella, Michael, Ghosh, Arup, Sampson, William, Schmalzle, Jesse, Konikowska, Dominika, Semertzidis, Yannis, Shin, Yun

Journal:

IEEE Transactions on Appiled Superconductivity

Année:

2016

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2016

8

Reasoning with Incomplete Information || A Logic for Reasoning about Relative Similarity

Beata Konikowska

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 3.74 MB

english, 1997

9

A query language allowing conditions of relational type in queries

Beata Konikowska

Journal:

Information Systems

Année:

1985

Langue:

english

Fichier:

PDF, 1.40 MB

english, 1985

10

Rasiowa–Sikorski deduction systems in computer science applications

Beata Konikowska

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 274 KB

english, 2002

11

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

Beata Konikowska

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 807 KB

english, 1990

12

Reasoning with first order nondeterministic specifications

Beata Konikowska, Marcin Białasik

Journal:

Acta Informatica

Année:

1999

Langue:

english

Fichier:

PDF, 177 KB

english, 1999

13

Proof Systems for Reasoning about Computation Errors

Arnon Avron, Beata Konikowska

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 282 KB

english, 2009

14

Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska

Journal:

Logica Universalis

Année:

2007

Langue:

english

Fichier:

PDF, 582 KB

english, 2007

15

Decomposition Proof Systems for Gödel-Dummett Logics

Arnon Avron, Beata Konikowska

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 265 KB

english, 2001

16

Continuous machines

Journal:

Information and Control

Année:

1973

Langue:

english

Fichier:

PDF, 868 KB

english, 1973

17

Radion stabilization with(out) Gauss-Bonnet interactions and inflation

Konikowska, D., Olechowski, M., Schmidt, M. G.

Journal:

Physical Review D

Année:

2006

Langue:

english

Fichier:

PDF, 350 KB

english, 2006

18

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics

Avron, Arnon, Konikowska, Beata, Zamansky, Anna

Année:

2012

Langue:

english

Fichier:

PDF, 273 KB

english, 2012

19

Generalization of Einstein-Lovelock theory to higher order dilaton gravity

Konikowska, D., Olechowski, M.

Journal:

Physical Review D

Année:

2007

Langue:

english

Fichier:

PDF, 156 KB

english, 2007

20

[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - Logics of Reasonable Information Sources

Avron, Arnon, Ben-Naim, Jonathan, Konikowska, Beata

Année:

2010

Langue:

english

Fichier:

PDF, 334 KB

english, 2010

21

Higher order dilaton gravity: brane equations of motion in the covariant formulation

Konikowska, Dominika, Olechowski, Marek

Journal:

Classical and Quantum Gravity

Année:

2010

Langue:

english

Fichier:

PDF, 786 KB

english, 2010

22

Efficient reasoning with inconsistent information using C-systems

Avron, Arnon, Konikowska, Beata, Zamansky, Anna

Journal:

Information Sciences

Année:

2015

Langue:

english

Fichier:

PDF, 507 KB

english, 2015

23

Large-scale structure challenges dilaton gravity in a 5D brane scenario with AdS bulk

Konikowska, Dominika

Journal:

Classical and Quantum Gravity

Année:

2014

Langue:

english

Fichier:

PDF, 65 KB

english, 2014

24

A relational formalisation of arbitrary finite valued logics

Journal:

Logic Journal of IGPL

Année:

1998

Langue:

english

Fichier:

PDF, 254 KB

english, 1998

25

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - Model checking for multivalued logic of knowledge and time

Konikowska, Beata, Penczek, Wojciech

Année:

2006

Langue:

english

Fichier:

PDF, 283 KB

english, 2006

26

Foreword

Arieli, Ofer, Konikowska, Beata, Rabinovich, Alexander, Zamansky, Anna

Journal:

Journal of Logic and Computation

Année:

2013

Langue:

english

Fichier:

PDF, 72 KB

english, 2013

27

A Two-Valued Logic for Reasoning about Different Types of Consequence in Kleene's Three-Valued Logic

Beata Konikowska

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 1.74 MB

english, 1990

28

Proof Systems for Reasoning about Computation Errors

Arnon Avron and Beata Konikowska

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 1.98 MB

english, 2009

29

Differences in energy and selected macronutrients intake with diet between men and women from urban and rural areas of the Lower Silesia in Poland: the Polish arm of the Prospective Urban Rural Epidemiological (PURE) study

Różańska, Dorota, Regulska-Ilow, Bożena, Ilow, Rafał, Zatońska, Katarzyna, Wołyniec, Maria, Mandecka, Anna, Konikowska, Klaudia, Salomon, Agnieszka, Basiak, Alicja, Szuba, Andrzej, Zatoński, Witold A.

Journal:

Journal of Health Inequalities

Année:

2016

Langue:

english

Fichier:

PDF, 114 KB

english, 2016

30

McCARTHY ALGEBRAS: A MODEL OF McCARTHY'S LOGICAL CALCULUS

Konikowska, Beata

Journal:

Fundamenta Informaticae

Année:

1996

Fichier:

PDF, 1.58 MB

1996

31

Multi-valued Verification of Strategic Ability

Jamroga, Wojciech, Konikowska, Beata, Kurpiewski, Damian, Penczek, Wojciech, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Année:

2020

Fichier:

PDF, 661 KB

2020